Supporting Information Barrington et alpnasSI Text Related Work on Human Computation Herd It and similar “games with a purpose” (1–6) offer fun and

Source URL: eceweb.ucsd.edu

• Music information retrieval
• Computational linguistics
• Music software
• Music technology
• Artificial intelligence applications
• International Society for Music Information Retrieval
• Automatic image annotation
• Tag
• Information retrieval
• Speech recognition
• Natural language processing
• Computer music

Economics and Computation CPSCEcon, Fall 2011 Time: Tu & Th, 2:30-3:45 pm Room: AKW 200 http://zoo.cs.yale.edu/classes/cs455/fall11/ 1

Source URL: zoo.cs.yale.edu

Human-Backed Access Technology Jeffrey P. Bigham, Erin Brady, and Samuel White Department of Computer Science University of Rochester @cs.rochester.edu ABSTRACT

Source URL: crowdresearch.org

• Human-based computation
• User interface techniques
• Human communication
• Humancomputer interaction
• User interface
• Accessibility
• Amazon Mechanical Turk
• Computer science
• Speech recognition
• Ronald Baecker
• Wizard of Oz experiment

Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg

Source URL: cse.iitk.ac.in

• Computer algebra
• Algebraic geometry
• Computer science
• Grbner basis
• Symbolic computation
• Computer-aided design
• Finite field
• Polynomial
• Algorithm
• Theoretical computer science
• Vladimir Gerdt

2000 Congress on Evolutionary Computation, San Diego CA, July, 2000 Experimental Validations of the Learnable Evolution Model Guido Cervone Kenneth K. Kaufman Ryszard S. Michalski*

Source URL: cervone.psu.edu

• Evolution
• Cybernetics
• Learnable Evolution Model
• Ryszard S. Michalski
• Evolutionary computation
• Genetic algorithm
• Evolutionary algorithm
• Genetic and Evolutionary Computation Conference
• Natural selection

COMPUTING PRACTICES The "Worm" Programs Early Experience with a Distributed Computation

Source URL: www.eecs.harvard.edu

• Stration
• John Shoch
• Worm
• ARPANET
• Computer worms
• Morris worm
• WANK

Microsoft Word - paper24.doc

Source URL: crowdresearch.org

• Human-based computation
• Quadrilaterals
• Algorithm
• Rectangle
• Amazon Mechanical Turk
• Checkbox

Fault-tolerant Quantum Computing Bryan Eastin Northrop Grumman Corporation Aurora, CO December 2014

Source URL: www.qec14.ethz.ch

• Quantum information science
• Quantum computing
• Models of computation
• Fault-tolerant computer systems
• Emerging technologies
• Quantum error correction
• Quantum circuit
• Qubit
• GottesmanKnill theorem
• Quantum operation
• Pauli matrices
• Quantum gate

Points on a Circle Problem We randomly distribute n points on the circumference of a circle. What is the probability that they will all fall in a common semi-circle? Solution

Source URL: mathproblems.info

• Probability distributions
• Algebra
• Recurrence relation
• Theory of computation
• Eschatology
• Combinatorics

1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1

Source URL: wiki.event-b.org

• SCXML
• Models of computation
• State diagram
• Formal methods
• Refinement